1.39/5.10	unsat
