302.70/303.62	unsat
