24.25/27.45	unsat
