6.87/6.91	unsat
