19.64/20.79	unsat
