13.24/13.66	unsat
