26.22/27.00	unsat
