309.61/311.48	unsat
