4.88/6.86	unsat
