302.71/308.21	unsat
