4.78/5.96	unsat
