7.86/7.95	unsat
