13.36/13.46	unsat
