6.86/8.64	unsat
