4.78/6.50	unsat
