292.90/293.40	unsat
