4.79/6.96	unsat
