292.48/293.03	unsat
