26.93/28.67	unsat
