26.11/28.67	unsat
