6.18/8.50	unsat
