13.59/13.66	unsat
