19.46/19.59	unsat
