26.00/29.28	unsat
