310.47/311.29	unsat
