292.92/293.52	unsat
