292.35/294.45	unsat
