26.05/27.00	unsat
