4.78/6.51	unsat
