24.45/27.38	unsat
