17.04/19.66	unsat
