292.38/293.91	unsat
