25.83/28.67	unsat
