25.94/28.45	unsat
