6.08/6.86	unsat
