19.72/20.67	unsat
