6.86/9.28	unsat
