306.88/310.62	unsat
