7.86/7.94	unsat
