17.84/19.66	unsat
