19.25/20.39	unsat
