7.86/7.99	unsat
