19.43/19.59	unsat
