26.05/28.00	unsat
