4.78/6.22	unsat
