0.39/1.13	unsat
