6.02/9.50	unsat
