5.39/7.14	unsat
