6.87/6.99	unsat
