293.28/293.90	unsat
