13.57/13.66	unsat
