19.54/19.66	unsat
