27.49/27.68	unsat
