13.36/13.49	unsat
