5.39/8.36	unsat
