26.04/28.00	unsat
