6.64/9.50	unsat
