24.75/27.13	unsat
