6.86/8.53	unsat
