19.05/19.66	unsat
