6.89/6.97	unsat
