4.75/6.86	unsat
