25.67/28.85	unsat
