310.29/310.52	unsat
