4.83/6.86	unsat
