1.29/1.69	unsat
