7.86/7.97	unsat
