6.89/7.86	unsat
