18.89/19.66	unsat
