24.86/27.51	unsat
