292.51/293.20	unsat
