7.86/7.93	unsat
