19.16/20.39	unsat
