26.64/28.20	unsat
