293.39/293.68	unsat
