19.09/20.47	unsat
