5.39/8.66	unsat
