24.64/27.16	unsat
