19.57/19.66	unsat
