7.39/13.93	unsat
