10.39/13.14	unsat
