308.38/311.75	unsat
