19.35/21.44	unsat
