13.58/13.68	unsat
