4.78/6.86	unsat
