19.56/19.66	unsat
