308.84/311.24	unsat
