25.43/27.65	unsat
