6.39/8.95	unsat
