25.68/27.65	unsat
