24.24/27.32	unsat
