6.87/6.97	unsat
