27.02/33.09	unsat
