7.89/7.97	unsat
